$\forall$${\it es}$:ES, $x$, $y$, $z$:E. $x$ c$\leq$ $y$ $\Rightarrow$ ($y$ $<$ $z$) $\Rightarrow$ ($x$ $<$ $z$)